h ^0 ^2 mul neg ^3 translate ^2 0 translate W n